Comprendre la spectroscopie infrarouge : principes et mise en oeuvre

Vérification d'automates étendus : algorithmes d'analyse symbolique et mise en oeuvre

Evaluation et mise en oeuvre des systèmes de production cyclique

Etalonnage de la sûreté de fonctionnement des systèmes d'exploitation. Spécifications et mise en oeuvre

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

ELKAR : Une méthode de ré-ingénierie d'applications pour la mise en oeuvre de la coopération

There an increasing demand from firms to evolve their applications to be more co-operative. The problem is to realise this migration and to maintain the quality of existing applications which are reliable due to previously encountered difficulties. This assumes the re-engineering of these applications. In some cases, temporary and non-satisfying applications have been added as external cooperat...

Mise en oeuvre des interactions en environnements distribués, compilés et fortement typés : le modèle MICADO

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...